linear programming inequality constraints